remove obsolete options from settings.php