[rgrmrts]

AFAIK 12th is not yet fully supported on Linux (thread scheduler or something along those lines).

It should be supported in a coming release last I checked.

[nicomachean]

I did not realise that. Thanks for the info.