DevTool: version naming changed