fix INSTALL.md