py-krb5 is a stub port
