re2 has moved to github