Remove filename to mark mantis as 'offline'.

This is better handled within the webserver, or by just renaming the index.php file in the worse case.