removed (obsolete) config.php