Change program name in html-files.