Replaced --libc=klee with --libc=uclibc in two tests (as for https://github.com/ccadar/klee/issues/32) and fixed an #include in one of the tests.