Update INSTALL.md, fixes #4