update INSTALL file, in particular dependencies