[boost] develop -> master merges