Make benchmark.py not create such huge file sizes