fix ia32