Added setting to give a different output filename than index.html