new option for old versions of gflags