M4RI segfaults in mult-threaded mode. Disabling for other threads than 1