Fix URL to checkout script

raw.github.com redirects to raw.githubusercontent.com but curl does not follow 
redirections by default, so use the correct URL