method is no longer used in misc.compress_dir()