Fix bug where configure would continue when --with-llvm-config argument
was invalid.
Merge branch 'klee_monolithic' of github.com:ccadar/klee-uclibc into klee_monolithic