bug found with testing/RandBench and -T, no fix found, no mail sent to the prof