Remove obsolete configure options