[I hereby place this patch into the public domain -- use it under any
terms you like, including GPL]

-- 
Dave Abrahams
Boost Consulting
www.boost-consulting.com