diff --git a/mlprec/Makefile b/mlprec/Makefile
index e9870075..7b5b3d24 100644
--- a/mlprec/Makefile
+++ b/mlprec/Makefile
@@ -169,7 +169,7 @@ veryclean: clean
 	/bin/rm -f $(LIBNAME)
 
 clean: implclean
-	/bin/rm -f $(OBJS) $(LOCAL_MODS)
+	/bin/rm -f $(OBJS) $(LOCAL_MODS) *$(.mod)
 
 implclean:
 	cd impl && $(MAKE) clean