Use bash to deploy.

It's more widely available, though less widely understood. ;)
Merge branch 'develop' of github.com:scholarslab/ivanhoe into develop