pushd requires BASH, so SH has to go.
Merging develop into master for deployment.