Delete the `pathconfig.php` file in the install tool (see #5536)