Making sure index.php is loaded explicitly in case the default file is not index.php (can happen with new version of Splash)