Edited the INSTALL file