after kcc, a.out can't run

[Stevengre]

user@3c9d2b9c862b:~/mounted$ ./a.out
[Error] Critical: Could not read from
/home/user/mounted/dist/profiles/x86-gcc-limited-libc/c-cpp-kompiled/c-cpp-kompiled/compiled.bin
(java.lang.reflect.InvocationTargetException)

[Stevengre]

I use ./script/docker_build at ubuntu 16.04. After that, the project was mounted in runtimeverificationinc/c-semantics:latest. Then I use the Detailed instructions to rebuild the environment, and "kcc ./test/unit-pass/hello.C"