--- tests/machine_integers/Makefile.orig	2020-03-18 21:04:06.344766000 -0600
+++ tests/machine_integers/Makefile		2020-03-18 21:04:26.871814000 -0600
@@ -15,7 +15,7 @@
 %.exe: %.fst | out
 	$(eval B := $(patsubst %.exe,%,$@))
 	$(FSTAR) $(FSTAR_DEFAULT_ARGS) --odir out --codegen OCaml --extract '${B}' '${B}.fst'
-	/bin/echo -e '\n\nlet _ = main ()\n' >> out/${B}.ml
+	printf '\n\nlet _ = main ()\n' >> out/${B}.ml
 	$(OCAMLOPT) out/${B}.ml -o $@
 
 %.out: %.exe
