Updated the description of the --with-gui-tools flag.