[klee-dev] Testing coreutils: Invalid record

[felicia]

I followed the instruction on 
https://klee.github.io/tutorials/testing-coreutils/
I would like to run coreutils by using KLEE latest version and LLVM 3.4
Since, I use clang instead of llvm-gcc. In the step 2, I use clang to 
build coreutils with these commands below:

../configure --disable-nls CFLAGS="-g"
export LLVM_COMPILER=clang
make CC=/home/felicia/whole-program-llvm-master/wllvm
make -C src arch hostname 
CC=/home/felicia/whole-program-llvm-master/wllvm

However when I proceed to step 3: Using KLEE as Interpreter by execute:

~/full-path-to KLEE/Release+Asserts/bin/klee --libc=uclibc 
--posix-runtime ./cat.bc --version,

the output is KLEE: ERROR: error loading program './cat.bc': Invalid 
record

Am I missing something? Thank you very much.

Best Regards,
Felicia