--- nettle/configure.ac	2018-12-04 21:56:06.000000000 +0100
+++ configure.ac	2019-07-22 14:28:19.390356763 +0200
@@ -650,14 +650,14 @@
     ;;
   *)
     LIBNETTLE_FORLINK=libnettle.so
-    LIBNETTLE_SONAME='$(LIBNETTLE_FORLINK).$(LIBNETTLE_MAJOR)'
-    LIBNETTLE_FILE='$(LIBNETTLE_SONAME).$(LIBNETTLE_MINOR)'
+    LIBNETTLE_SONAME='$(LIBNETTLE_FORLINK)'
+    LIBNETTLE_FILE='$(LIBNETTLE_SONAME)'
     LIBNETTLE_LINK='$(CC) $(CFLAGS) $(LDFLAGS) -shared -Wl,-soname=$(LIBNETTLE_SONAME)'
     LIBNETTLE_LIBS=''
 
     LIBHOGWEED_FORLINK=libhogweed.so
-    LIBHOGWEED_SONAME='$(LIBHOGWEED_FORLINK).$(LIBHOGWEED_MAJOR)'
-    LIBHOGWEED_FILE='$(LIBHOGWEED_SONAME).$(LIBHOGWEED_MINOR)'
+    LIBHOGWEED_SONAME='$(LIBHOGWEED_FORLINK)'
+    LIBHOGWEED_FILE='$(LIBHOGWEED_SONAME)'
     LIBHOGWEED_LINK='$(CC) $(CFLAGS) $(LDFLAGS) -shared -Wl,-soname=$(LIBHOGWEED_SONAME)'
     # Requested by debian, to make linking with only -lhogweed work
     # (does not work in general, e.g., with static linking all of