bump klee version