Tried twice to download the benchmark and both times I get an error when trying to extract it. the 4000 dat file is bad.