Still more to say in INSTALL...