Use Boost's UUID library.