This resolves the error when pulling the channel, which appeared after pycrypto got removed from Guix.