diff --git a/ivette/makefile.opam b/ivette/makefile.opam
index 75b2cea6d4f60aa1bbfa168ff88f20a490e59749..fee44db5e7a6c3895bc1138a3e6da5aff90f9ca5 100644
--- a/ivette/makefile.opam
+++ b/ivette/makefile.opam
@@ -35,5 +35,7 @@ install:
 
 uninstall:
 	@echo "Removing Ivette"
-	@rm -fr $(PREFIX)/bin/ivette
-	@rm -fr $(PREFIX)/lib/frama-c/ivette.tgz
+	@rm -f $(PREFIX)/bin/ivette
+	@rm -f $(PREFIX)/lib/frama-c/ivette.tgz
+	@rm -fr $(PREFIX)/lib/ivette     # linux
+	@rm -fr /Applications/Ivette.app # macOS