git.zx2c4.com fails from docker's automated build host, use the github mirror instead