tidy up one of the benchmark scripts in misc/