corefile.c: fix -Wpointer-sign