Fix the github remote.
We don't build our own re2 anymore
Go back to cloning Linux.