fixes bug 896867 - yet another case of debian/ubuntu using minimal shell w/o pushd/popd built-ins
Merge pull request #1357 from rhelmer/bug896867-pushd-not-found

fixes bug 896867 - yet another case of debian/ubuntu using minimal shell...