Fix Resource.v after renaming to Int63.