Use new push_dir() syntax.