[PATCH v3 2/7] widl: Fix version attribute value.