Fix time discrepancy on multiple platforms.