klee的docker镜像中没有gcc环境