Issue #24: Addition of re2 patch