fix pushd not found