Followup to r61412: don't use time(), we have our own function for this