Use  to specify GATK version in setup.sh.