I don't know what you will think of this patch.  But I found that it makes 
running guix under debian a whole lot easier.  I suspect the same will be
true for many other OSes too.

J'


-- 
PGP Public key ID: 1024D/2DE827B3 
fingerprint = 8797 A26D 0854 2EAB 0285  A290 8A67 719C 2DE8 27B3
See http://sks-keyservers.net or any PGP keyserver for public key.