Delete core.h~