temporary fix for github redirects

Looks like github started redirecting(301) https://raw.github.com to
https://raw.githubusercontent.com
Release 3.5.12