Try to fix the 32-bit build