#37 tmp directory not removed

[jdv]

Using mira v4.9.6 on Debian stretch.

I noticed that the tmp directory is not removed after a run, despite having -OUT:rtd=yes set. I am also using -DIR:trt=/tmp, in case it makes any difference.