diff --git a/appl/push/Makefile.in b/appl/push/Makefile.in
index ea051abe2..2c95bebd7 100644
--- a/appl/push/Makefile.in
+++ b/appl/push/Makefile.in
@@ -59,7 +59,7 @@ TAGS: $(SOURCES)
 check:
 
 clean:
-	rm -f *.a *.o $(PROGS)
+	rm -f *.a *.o $(PROGRAMS)
 
 mostlyclean: clean