fix HTTP dumpfile name generator