diff --git a/lib/des/Makefile.in b/lib/des/Makefile.in
index c08e3d8c4..c562a8b02 100644
--- a/lib/des/Makefile.in
+++ b/lib/des/Makefile.in
@@ -73,7 +73,7 @@ check: ./destest
 	./destest
 
 clean:
-	rm -f $(LIB) *.o *.a
+	rm -f $(LIB) *.o *.a $(PROGS)
 
 mostlyclean: clean