Cleaning up INSTALL.md -- there were two occurrences of gflags