Update klee.txt