workaround for build problem on boost_1_55