Fix incorrect proto version file

This is the absolute minimum to fix CI on master again. The real solution is in !1391 (merged).

The issue is #1829 (closed).