Installation Error

[serenegrace]

I was attempting to install the BTCompiler https://github.com/CARVE-ROBMOSYS/BTCompiler on docker.
Unfortunately, I ran into an issue.
After having cloned the repo, installed Ocaml, and installed Coq, when attempting to use the make command I got the following error.

File "./spec_extr.v", line 7, characters 29-34:
Error:
The term ""010"" has type "string" while it is expected to have type
"Ascii.ascii".

make[1]: *** [Makefile:764: spec_extr.vo] Error 1
make: *** [Makefile:387: all] Error 2

Do you have any ideas on how to handle this?

Thank you in advance for any time spent on this question, and apologies for bothering you.