Fix building with boost 1.40.