remove obsolete option