update version of re2