pushd isn't available