INSTALL.md: some fixes