fixed bug in linecounter where the last line in benchmarks.info wasn't read.