Use the real URL, raw.github is just a redirect these days

And some tools don't follow redirects by default.
Merge pull request #1759 from alex/patch-3

Use the real URL, raw.github is just a redirect these days