INSTALL.md is updated