Modification to INSTALL.md