fix os.difftime