fix repo url

github seams to have changed the raw url scheme. this one works.