Adjust tc-utils too for new DrRacket protocol