--- alt-ergo-2.0.0/Makefile.users.orig	2017-11-14 10:01:38.000000000 -0700
+++ alt-ergo-2.0.0/Makefile.users	2019-05-31 10:27:59.204322901 -0600
@@ -180,12 +180,12 @@ lib/util/cmdline_parser.ml: config.statu
 	@echo "(* parse_args () should be called as soon as possible (put earlier" > lib/util/cmdline_parser.ml
 	@echo "   when linking) because some choices during compilation depend on" >> lib/util/cmdline_parser.ml
 	@echo "   given options (e.g. dfs-sat)" >> lib/util/cmdline_parser.ml
-	@echo "\n   -> The following call:" >> lib/util/cmdline_parser.ml
+	@echo -e "\n   -> The following call:" >> lib/util/cmdline_parser.ml
 	@echo "   1 - should be kept when builtind Alt-Ergo tools" >> lib/util/cmdline_parser.ml
 	@echo "   2 - should be removed to build and use only the library." >> lib/util/cmdline_parser.ml
-	@echo "\n   Alternatively to 2, one can just remove cmdline_parser.cmo/cmx in" >> lib/util/cmdline_parser.ml
+	@echo -e "\n   Alternatively to 2, one can just remove cmdline_parser.cmo/cmx in" >> lib/util/cmdline_parser.ml
 	@echo "   Makefile.users *)" >> lib/util/cmdline_parser.ml
-	@echo "\nlet () = Options.parse_cmdline_arguments ()" >> lib/util/cmdline_parser.ml
+	@echo -e "\nlet () = Options.parse_cmdline_arguments ()" >> lib/util/cmdline_parser.ml
 
 META: config.status
 	@echo "description = \"API of Alt-Ergo: An automatic theorem prover dedicated to program verification\"" > META