make_rel now parametrised to support OpenProofPower as a git submodule