Thanks for the patch!

Pushed to guix master as commit 62e9f00ce2391b062afa3ed96dfd34a3d0762af7.

Maybe it would be better to use mirror://sourceforge in order to spread the load
on the servers--but I couldn't figure out how in a few minutes.