Dump another file.