add klee-uclibc