edits to INSTALL