Fixing LTLMC krun args, but still something wrong.