Update to use new format for github file URLs.