tell us where that mystery core file came from

When running make distcheck, run file on the mystery core file that sometimes appears, so we can better diagnose it.