Log Message:
What we printed in INSTALL was supposed to be a message, anyway, and
since the INSTALL script mechanism seems to have changed, we might as
well move the text.