Fix error due to boost 1.56