2011/8/15 Gabriel Redner <gredner@gmail.com>
Indeed, that patch fixes the problem.  Thanks!  Is there a ticket
filed about this problem?

Now filed.
https://svn.boost.org/trac/boost/ticket/5782