Removed obsolete option from configure