[wlug] 64-Bit Times On 32-Bit Linux