uclibc with KLEE enhancements