Fix TimeSpec for linux 32 bit