fixed random device in ExtraBenchmark