Revert ABI version, make libgnutls-extra use another ABI version.