Sorry, I forgot to remove an option in the last MR, which blocks sosy-lab/benchmarking/fm-tools!75 (merged)