s3:configure.in: fix the shell logic in krb5 checks