Update to latest BinaryMaxSum lib version