After #17, the SDK has migrated to a forked compiler binary. We should migrate back after this PR is merged.
Eliminate all TODO[#18] in the code while resolving this task.
TODO[#18]