switched to github repo

Switched to github repo for the --HEAD build.