32-bit build fix