made texrmtmp state deleted files, not missing files