add Texworks cruft removal