brought settings.inc.php up to date