--- config/config.in.orig 2018-05-17 11:13:21.478570256 +0200
+++ config/config.in 2018-05-17 11:13:54.000000000 +0200
@@ -61,7 +61,7 @@
# VERBOSE=1
#DEBUG=1
# PROFILE=gprof
-#SHARED=2
+SHARED=2
## Directory specific selections which override the above