Invalid option for --model-checker-ext-calls: what