Use non-multithreaded versions of some Boost libraries under Linux.