remove bashrc
klee_config