Since the name of CPCoremod slightly changed (M to m), these two files
need to be updated as well.