Use -NW:cmrnl=no with MIRA 4.0
Setting MIRA's number of threads via -t switch