#8 remove XCMessage from tlssv.hs