Use latest boost (1.56.0)