diff --git a/Makefile b/Makefile
index a46a7e5..625781d 100644
--- a/Makefile
+++ b/Makefile
@@ -11,6 +11,8 @@ default: bin bin/lib bin/libsesimos.so bin/sesimos
 prod: CFLAGS += -O3
 prod: default
 debug: default
+debian: CFLAGS += $(DEBIAN_OPTS)
+debian: prod
 
 
 bin: