[PATCH 3/7] spice-protocol: update to version 0.12.13