Update libmp

* Fixes a bug in gc