Fix warnings caused by timer_t, it is 32 bits on Sparc64