fixed simple bug in timemeasurementoverhead.c