diff --git a/ladr/Makefile b/ladr/Makefile
index 8ff84df..ec980ef 100644
--- a/ladr/Makefile
+++ b/ladr/Makefile
@@ -4,7 +4,7 @@ CC = gcc
 
 # XFLAGS can be specified on the command line (see XFLAGS below)
 
-CFLAGS = $(XFLAGS) -O -Wall
+CFLAGS = $(XFLAGS) -O -Wall -Wno-format-security
 # CFLAGS = $(XFLAGS) -O6 -Wall
 # CFLAGS = $(XFLAGS) -g  -O -Wall
 # CFLAGS = $(XFLAGS) -g -O0 -Wall
diff --git a/mace4.src/Makefile b/mace4.src/Makefile
index 31ec475..74dbea5 100644
--- a/mace4.src/Makefile
+++ b/mace4.src/Makefile
@@ -4,7 +4,7 @@ CC = gcc
 
 # XFLAGS can be specified on the command line (see XFLAGS below)
 
-CFLAGS = $(XFLAGS) -O -Wall
+CFLAGS = $(XFLAGS) -O -Wall -Wno-format-security
 # CFLAGS = $(XFLAGS) -O6 -Wall
 # CFLAGS = $(XFLAGS) -g  -O -Wall
 # CFLAGS = $(XFLAGS) -g  -Wall