removes $cookie_domain. Adds $_SERVER settings to settings.php