diff --git a/lib/libmp.a b/lib/libmp.a index ce8dbc8e3..1ef09c4d5 100644 Binary files a/lib/libmp.a and b/lib/libmp.a differ