Fixed bug #14191: Install tool lacks hint of how to create ENABLE_INSTALL_TOOL (thank...