to use the 32bit time, because the linux time will use 32bit