rgheck Thu, 09 Jul 2009 07:48:15 -0700
I reported this a while back, and the advice was to use external boost.
rh