Altered time measuring script time_meas.sh to conform to the input demands of run2tex.rb script