a minor change to make glog use the gflags version we provide