Delete mip_lib.c