[Lockfile] Adapt for VERSION renaming to CORE_VERSION.