Fix (?) discrimination between hppa1.1 and 1.0.