issue #31: improve doc in INSTALL.md