fixes bug 896867 - yet another case of debian/ubuntu using minimal shell w/o pushd/popd built-ins