Whoops, I deleted the file called DONOTDELETE.