[galaxy-dev] software installs: PATH vs env.sh