[RFC] update deps

If /bin/sh is not bash, pushd/popd may be missing.