Must run in bash so pushd will execute