pushd requires BASH, so SH has to go.