Make push_dir() output where we are when verbosity is high.