The version of van Tonder’s macro expander included in the SRFI 72 repository is not the correct one.
I've downloaded the correct, older but contemporaneous version to which you pointed me. It's now in the repo under
srfi/2005-09-14. I updated
srfi/README.org to explain why both that and the other, later version are included.
History is in the details.