The easiest resolution would be to generally use an old 1.4.0 guix package in with-extensions, because the modules from a [email protected] still should work fine even for the latest devel manual (I have not tested, but autonomous guix/self.scm ignores the changed Makefile).
Regards, Florian
