KRB5 formula for stackd.io