Make sure opam-lib using tools don't leave stuff in /tmp