Also, this morning, after my Kerberos ticket had expired overnight, I received this output when I ran the script:

Failed to set version: GSSAPI Error (init): Miscellaneous failure (see
+ text)
Ticket expired
[download]

That tells me that GSSAPI is being used.