when it requires #!/bin/bash. pushd/popd are the obvious bash-isms it uses. Noticed when testing dash-as-/bin/sh.