Remove obsolete option.