Update INSTALL.md for release 1.2