Update INSTALL.md

with minor cleanups