Add txt extension to dumped files.