fix build for 32-bit machines