Deal with .txt.mp4 files, since those apparently exist