Another 32bit build fix