fix get_time_usec()