Hi there, thanks for your effort.
I built a new compilation tool called MasterCompiler, and it builds the tobi-example repo as part of its integration test.
Here is the how-to: https://github.com/kraudy/MasterCompiler/blob/master/docs/Tests.md#integration-tests