pushd and prompt fixes