extract index.html file too, needed by web pages