Fix timer on 32-bit systems