(Move INSTALL doc; bad path.)