fix os.time on 64bits