Delete libcorev.c