Get rid of alternating files for noTinfoil