SCR/SCR.1.2/TP09/TREE/lib/krb5/plugins/play.in