Fix the ia32 port build