Fix version.txt.

It needs the full version.