GitHub changed URLs

Maybe we could also just add the `-L` option :)