Remove Klee stuff.