Added support for -DMARVIN_NO_GFLAGS, for a bug report.