Clarified INSTALL.md a bit