INSTALL is now more complete