Build fix for Boost 1.56

fixes #7001