diff --git a/tools/Makefile b/tools/Makefile
index 4c29a5a..9c87420 100644
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -1,5 +1,7 @@
 
 BBFUNCS = ../libbubulles.a 
 
-read_obj:	read_obj.c Makefile ${BBFUNCS}
-	gcc -Wall -DDEBUG_LEVEL=1  $< ${BBFUNCS} -o $@
+OPT = -Wall -g -DDEBUG_LEVEL=1 -DMUST_ABORT
+
+read_obj:	read_obj.c Makefile $(BBFUNCS)
+	gcc $(OPT)  $< $(BBFUNCS) -o $@