add boost thread
(We really should use std::shared_mutex...0x14..)