Update INSTALL file