Fix build with boost 1.53