Ignore *.thm temp files, and remove them.