marco: removed obsolete configure option