SCR/SCR1.2/TP09/TREE/lib/krb5/plugins/play.in