Always write and use exact sha in version.json.