auth.texi (VERSION): Set before first use