applied an IEEE flag patch for OSF/1 #77825 Daniel * configure.in: applied an IEEE flag patch for OSF/1 #77825 Daniel