Fix errors in bootstrap.  Github no longer speaks git://, either.