gflags 2.1 bugfix (or rather a hack).

This is a temporary fix. A more complete workaround is going to be placed in gflags 2.1.1 by @schuhschuh. After that, we should remove this hack.