Compile c-semantics error

[dongbiao830415]

Compile c-semantics error:

[Warning] Compiler: missing entry for hook C_SEMANTICS.error
[Warning] Compiler: missing entry for hook C_SEMANTICS.generateRuleAnnotation
[Warning] Compiler: missing entry for hook C_SEMANTICS.nativeFunctions
make[1]: Leaving directory `/root/src/c-semantics/c-semantics-office/semantics'
Translating the C standard library... (/root/src/c-semantics/c-semantics-office/x86-gcc-limited-libc)
cd /root/src/c-semantics/c-semantics-office/x86-gcc-limited-libc/src && /root/src/c-semantics/c-semantics-office/dist/kcc -nodefaultlibs -Xbuiltins -fno-native-compilation -shared -o /root/src/c-semantics/c-semantics-office/dist/x86-gcc-limited-libc/lib/libc.so *.c -I .
[Error] Critical: Unknown option: --argv (Unknown option: --argv)
Exception in thread "main" java.nio.file.NoSuchFileException: .tmp-kcc-n3WEB/kast-JdvvA
at sun.nio.fs.UnixException.translateToIOException(UnixException.java:86)
at sun.nio.fs.UnixException.rethrowAsIOException(UnixException.java:102)
at sun.nio.fs.UnixException.rethrowAsIOException(UnixException.java:107)
at sun.nio.fs.UnixFileSystemProvider.newFileChannel(UnixFileSystemProvider.java:177)
at java.nio.channels.FileChannel.open(FileChannel.java:287)
at java.nio.channels.FileChannel.open(FileChannel.java:335)
at org.kframework.main.BinaryToText.main(BinaryToText.java:35)
Translation failed (kcc_config dumped). To repeat, run this command in directory src:
kcc -d -nodefaultlibs -Xbuiltins -fno-native-compilation -shared -o /root/src/c-semantics/c-semantics-office/dist/x86-gcc-limited-libc/lib/libc.so builtins.c ctype.c math.c stdlib.c string.c -I .
make: *** [dist/x86-gcc-limited-libc/lib/libc.so] Error 1