Change html dump file name