diff --git a/utils/embed/Makefile b/utils/embed/Makefile
index 4d34695e59c2255b0c6809521ad726c7bea56412..77fc6019cb785744b3730833db2a3e5e6fdc4bfb 100644
--- a/utils/embed/Makefile
+++ b/utils/embed/Makefile
@@ -36,6 +36,7 @@ clean:
 	rm -f *${OBJEXT}
 
 distclean:
+	rm -f *${LIBEXT}
 	rm -f *${OBJEXT}
 	mkdir tmp
 	mv GmshEmbedded.* tmp