Banish some compiler errors with a different core-dump mechanism.