diff --git a/util/int/Makefile b/util/int/Makefile
index 6444a7887..49207b4e6 100644
--- a/util/int/Makefile
+++ b/util/int/Makefile
@@ -121,12 +121,11 @@ distr:	.distr
 clean:
 	rm -f core mon.out int.mess int.log int.core int.tally \
 		trap_msg warn_msg warn.h tags print \
-		$(OBJ)
+		$(OBJ) $(INT)
 	(cd switch; make clean)
 	(cd switch; make clean)
 
 bare:	clean
-	/bin/rm -f $(INT)
 	(cd switch; make bare)