Add more info to INSTALL.