mtimes are in milliseconds from libstd