Close #109: update to our version of re2
            removal of re2-002.patch, as we don't need the -fPIC flag anymore