Make DiGMO problem use boost.thread instead of pthreads.