[galaxy-dev] Trying to install GATK on up-to-date Galaxy install