Update to latest BinaryMaxSum library version