Fix runone.sh script to not use bash specific pushd/popd