Improved push_dir() error reporting.