[galaxy-dev] problem installing a tool