If the problem is that we don't specify a checksum ... then we could checkout a specific commit instead of the `camltc-0.9.2` tag (in the build instructions above). Would that be satisfactory?