I’ve just fixed a small bug [1].  Maybe we should agree to run

make distclean && ./boostrap && ./configure && make && make check

before pushing, or will it be too tedious?

Also, I don’t like the ‘license:’ prefix.  What about something like
‘l:’?  It’ll probably be even better to use ‘#:select’ when it’s
possible.

[1] http://git.savannah.gnu.org/cgit/guix.git/commit/?id=a129e0d877f125693f58457d55973d184468b461