Issue #2: gmp and re2 paths