Use github redirect to avoid certificate issues.

Possibly fixes #1033.