removed obsolete configure option