Remove Theseus files