Updated INSTALL file