Vaguely more useful INSTALL?