i386 arch is properly recognized as an x86 type