Workaround for NVIDIA 32-bit driver
Fix timestamps generation on ILP32