Timer now works with gettimeofday