fixed up INSTALL for future