Fix problem with 32-bit build