Invalid klee.bca files

I followed http://klee.llvm.org/GetStarted.html while installing Klee on top of my LLVM 2.9 (as needed) which means:

• Install DONE dependencies

  export C_INCLUDE_PATH=/usr/include/i386-linux-gnu/
  
  PERFECTLY

  export CPLUS_INCLUDE_PATH/usr/include/i386-linux-gnu/
  
  PERFECTLY

• Build LLVM 2.9 DONE

  Install llvm-gcc DONE

  Add llvm-gcc to my PATH DONE

  export PATH = $PATH:/home/alex/llvm2.9/llvm/llvm-gcc-4.2-2.9-i686-linux/llvm-gcc-4.2-2.9-i686-linux/bin/
  
  

  Download and Build LLVM 2.9 DONE

• Build STP DONE with --with-cryptominisat2
  
  in config AND make OPTIMIZE=-O2 CFLAGS_M32= install
  
  with make ulimit -s unlimited
  
  DONE
• Building uclibc with llvm-gcc DONE
• svn klee DONE

• Configure KLEE DONE

  ./configure --with-llvm=/home/alex/llvm2.9/llvm/ --with-stp=/home/alex/llvm2.9/llvm/stp/ --with-uclibc=/home/alex/llvm2.9/llvm/klee-uclibc-0.02-i386/ --with-llvm-build-mode=Release+Asserts --enable-posix-runtime
  
  

• Build KLEE DONE

  from ENABLE_OPTIMIZED=1
  
  

  No errors, but I have a warning " /home/alex/llvm2.9/llvm/klee/Makefile.rules:1175: Bytecode libraries require LLVM capable compiler but none is available ****
  
  "

However, when I try to use the tutorials, I have a segfault: klee: error: Cannot find linker entry ' /home/alex/llvm2.9/llvm/klee/Release+Asserts/lib/libkleeRuntimeIntrinsic.bca

'

They weren't created at all at the compilation time of Klee. Can you tell me what I can do? Maybe my problem is with this thread: http://thread.gmane.org/gmane.comp.compilers.llvm.klee/923 .

Thanks for the help!