Correction of header to correctly define boost::lock_guard