RE: [boost] boost 1_32_0 with STLPort 5.0RC2