INSTALL: add default value for shflags