[boost] [1.40] PDB fix merge