fix dumpfile's filename rule