patch for issue 173

This allows for the index.html page name to be configurable.