--- embedaddon/sudo/src/preload.c	2012/02/21 16:23:02	1.1.1.1
+++ embedaddon/sudo/src/preload.c	2013/10/14 07:56:35	1.1.1.3
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2010 Todd C. Miller <Todd.Miller@courtesan.com>
+ * Copyright (c) 2010, 2011 Todd C. Miller <Todd.Miller@courtesan.com>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above
@@ -16,6 +16,17 @@
 
 #include <config.h>
 
+#if HAVE_GSS_KRB5_CCACHE_NAME
+# if defined(HAVE_GSSAPI_GSSAPI_KRB5_H)
+#  include <gssapi/gssapi.h>
+#  include <gssapi/gssapi_krb5.h>
+# elif defined(HAVE_GSSAPI_GSSAPI_H)
+#  include <gssapi/gssapi.h>
+# else
+#  include <gssapi.h>
+# endif
+#endif
+
 #include "sudo_plugin.h"
 
 extern struct policy_plugin sudoers_policy;
@@ -27,5 +38,8 @@ struct sudo_preload_table {
 } sudo_preload_table[] = {
     { "sudoers_policy", (void *) &sudoers_policy},
     { "sudoers_io", (void *) &sudoers_io},
+#ifdef HAVE_GSS_KRB5_CCACHE_NAME
+    { "gss_krb5_ccache_name", (void *) &gss_krb5_ccache_name},
+#endif
     { (const char *)0, (void *)0 }
 };