diff -r 5810f22c4750 -r 2cf3dcf93d74 configure
--- a/configure	Thu Mar 14 16:18:00 2019 +0000
+++ b/configure	Sat Mar 16 18:43:11 2019 +0100
@@ -23,7 +23,8 @@
 PRNG=
 PRNGLIBS=
 
-CFLAGS="-fPIC -Wall -pedantic -std=c99"
+CFLAGS="-fPIC -std=c99"
+CFLAGS="$CFLAGS -Wall -pedantic"
 LDFLAGS="-shared"
 
 IDN_LIBRARY="idn"