ltldo does not erase temporary files on error

I configured ltl2dstar with an incorrect option for ltl2tgba (-DS instead of -Ds), and ltldo left some temporary files in the current directory.

~ % randltl -n 10 2 | ltldo 'ltl2dstar --ltl2nba=spin:ltl2tgba@-DS'
Parse error for NBA automaton (PROMELA format) at line 0          
syntax error
Exception:
Couldn't parse PROMELA file!
error: execution of command "ltl2dstar --ltl2nba=spin:ltl2tgba@-DS --output-format=hoa 'lcr-i1-0PdcGf' 'lcr-o0-W4y6Pn'" returned exit code 1.
ltldo:-:1: aborting here
~ % ls *lcr*
lcr-i1-0PdcGf