diff --git a/extern/MinaCalc/MinaCalc.a b/extern/MinaCalc/MinaCalc.a
index fcaf27554c..0f7ec847c6 100644
Binary files a/extern/MinaCalc/MinaCalc.a and b/extern/MinaCalc/MinaCalc.a differ
diff --git a/extern/MinaCalc/MinaCalc.lib b/extern/MinaCalc/MinaCalc.lib
index e46991b26b..386aa58028 100644
Binary files a/extern/MinaCalc/MinaCalc.lib and b/extern/MinaCalc/MinaCalc.lib differ
diff --git a/extern/MinaCalc/libMinaCalc.a b/extern/MinaCalc/libMinaCalc.a
index b1e36fce58..9abca893f9 100644
Binary files a/extern/MinaCalc/libMinaCalc.a and b/extern/MinaCalc/libMinaCalc.a differ