Use real main.php