Included timestamp in the dump file name: required for txt files.