klee使用过程中的错误

klee按照官方教程用docker方式安装之后，klee执行文件时提示找不到文件，该怎么解决

http://blog.csdn.net/u012905667/article/details/39494535