switch to a github mirror, hopefully more reliable