fix database.php.inc