gflags 2.1 bugfix (or rather a hack).