Fixing problem with missing index.php file