# Use backward compatible mic by default for now
# See; https://github.com/globus/gsi-openssh/issues/13
globus-gssapi-gsi-compat-mic.patch
