The test/Resources/push.sh calls pushd/popd, which is not a POSIX shell feature but a Bash extension.
