delete php-config.php