Simplify get_utc_timestamp() vastly.
Vastly simplify get_utc_timestamp().