* corefile.c: Rename from core.c.