Use a filename other than index.html.