Do not use Mint, since pthreads don't work properly