Improve the INSTALL text a bit.