Seg fault with master branch running Coq Platform "smoke test" (master)

With the most recent changes I get a segmentation fault when running the example file:

coqc  example_20071016.v

This happens on Mac and Linux (Windows failed before in last night's CI)

Mac: (https://github.com/coq/platform/runs/1923280072?check_suite_focus=true#step:6:2311)

====================== Running test file coq-interval/example_20071016.v ======================
coqc  example_20071016.v
smoke-test-kit/run-smoke-test.sh: line 25: 21296 Segmentation fault: 11  coqc ${2:-} "${1##*/}"

Ubuntu: (https://github.com/coq/platform/runs/1923285279?check_suite_focus=true#step:6:2311)

====================== Running test file coq-interval/example_20071016.v ======================
coqc  example_20071016.v
smoke-test-kit/run-smoke-test.sh: line 25: 27879 Segmentation fault      (core dumped) 

I must admit I don't understand how a change in coq-interval can lead to a segfault of coqc and I was unsure if I should post this here or for coq, but since this does happen in a Coq Interval test I am sure you understand this issue best.