Use the gflags portability header