Use Boost thread library