delete mathlib.c