Updating the CoralNexus core package name.