Fixed time.clock v time.time difference for Linux machines