diff --git a/Makefile b/Makefile
index 90e779f26d5e8b41b527d0d974ff726fedb5e349..d0e04ef544c765463d893fdad267a1698fe12ae1 100644
--- a/Makefile
+++ b/Makefile
@@ -1417,7 +1417,7 @@ acsl_tests: byte
 	find doc/speclang -name \*.c -exec ./bin/toplevel.byte$(EXE) {} \; > /dev/null
 
 LONELY_TESTS_ML_FILES:=\
-  $(shell find $(TEST_DIRS_AS_PLUGIN:%=tests/%) -name '*.ml')
+  $(sort $(shell find $(TEST_DIRS_AS_PLUGIN:%=tests/%) -not -path '*/\.*' -name '*.ml'))
 $(foreach file,$(LONELY_TESTS_ML_FILES),\
   $(eval $(file:%.ml=%.cmo): BFLAGS+=-I $(dir $(file))))
 $(foreach file,$(LONELY_TESTS_ML_FILES),\