=== modified file 'INSTALL'
--- INSTALL	2019-02-09 23:23:26 +0000
+++ INSTALL	2019-07-14 23:09:25 +0000
@@ -57,7 +57,7 @@
     fping ssh-client
     
 *** Mandos Client
-    + GNU C Library 2.16 https://gnu.org/software/libc/
+    + GNU C Library 2.17 https://gnu.org/software/libc/
     + initramfs-tools 0.85i
                         https://tracker.debian.org/pkg/initramfs-tools
     + GnuTLS 3.3        https://www.gnutls.org/

=== modified file 'Makefile'
--- Makefile	2019-07-14 22:46:19 +0000
+++ Makefile	2019-07-14 23:09:25 +0000
@@ -260,7 +260,7 @@
 # Need to add the GnuTLS, Avahi and GPGME libraries
 plugins.d/mandos-client: plugins.d/mandos-client.c
 	$(LINK.c) $^ $(GNUTLS_CFLAGS) $(AVAHI_CFLAGS) $(strip\
-		) $(GPGME_CFLAGS) -lrt $(GNUTLS_LIBS) $(strip\
+		) $(GPGME_CFLAGS) $(GNUTLS_LIBS) $(strip\
 		) $(AVAHI_LIBS) $(GPGME_LIBS) $(LOADLIBES) $(strip\
 		) $(LDLIBS) -o $@