fix system-library-math.mf