A really bare-bones index.php