improve INSTALL doc a bit