OK, changed to use Boost v1.51.0. Testing whether that makes any difference, but my guess would be no.