update INSTALL
...