Fix INSTALL.md change from yesterday's bump and use it to bump Travis