bug 896867 - debian/ubuntu use minimal shell w/o pushd/popd built-ins