=== modified file 'plugins.d/mandos-client.c'
--- plugins.d/mandos-client.c	2016-02-28 20:26:27 +0000
+++ plugins.d/mandos-client.c	2016-02-28 20:30:21 +0000
@@ -513,7 +513,7 @@
   fprintf_plus(stderr, "GnuTLS: %s", string);
 }
 
-__attribute__((nonnull, warn_unused_result))
+__attribute__((nonnull(1, 2, 4), warn_unused_result))
 static int init_gnutls_global(const char *pubkeyfilename,
 			      const char *seckeyfilename,
 			      const char *dhparamsfilename,