[boost] [uuid] Issue 9407: help required to merge fix