fixed bug. changed paths.KLEE to paths.KLEETEST