Issue #5215: Remove core package