gettimeofday() seems to return local time