Fix compilation for 32bit machines