Cntrl-C removes $TMP_DIR when we escape from a hanging plugin - see issue #29