After two tries (using two differently configured galaxy installs) the installation of gemini failed with the same results both times - 3 out of the 8 tools exhibit the status "installed, missing tool ...