RE: gettimeofday() seems to return local time