* configure.host (i[3456]86-*-osf1mk*, mips-*-mach3*,