diff --git a/lib/libmp.a b/lib/libmp.a index 151ebb4f5..c905a5ca6 100644 Binary files a/lib/libmp.a and b/lib/libmp.a differ