measure.py must called now with the number of runs, so the default is not needed any more.