Added support for batch changes to paths defined in ../htgt_batch/bin/batch_setup_shell.sh