mirror-diff changes to a better use of /tmp