Linux32 build fix