Makes it possible to use index.php as a commandline script