More edits to INSTALL for DSL3S