Build #525:   kinit: Fix --anonymous renewal bug `kinit --anonymous ... some long running command he... on branch master almost 5 years ago