revert local.php.dist removal