add back index.php as it was deleted accidentally