Fix settings.php and lib.php