Linux-related fixes to the Time class