After #17, the SDK has migrated to a forked compiler binary. We should migrate back after [this PR](https://github.com/pascalabcnet/pascalabcnet/pull/2720) is merged. Eliminate all `TODO[#18]` in the code while resolving this task.
