change ext-core output file suffix from .core (too easy to delete accidentally) to .hcr (MERGE TO STABLE)