gflags source to avoid licensing issues