Fix libmtrie