doc: updated INSTALL.md. Grep should not be needed anymore