fix build for 32 bit systems