diff --git a/lib/libmp.a b/lib/libmp.a index 077b3de1d..58286fd97 100644 Binary files a/lib/libmp.a and b/lib/libmp.a differ