fix for recent boost