clarify the make.sh --with-feature and --without-feature syntax in INSTALL