Updated Getting Started page with instructions for using the new
klee-uclibc.