/* Do this because we're not allowed to source files of the same name in a project */
#include "../../bfd/corefile.c"