INSTALL.md: make setting PATH as simple as possible.