--- a/sbsv2/raptor/lib/flm/tools2exe.flm	Wed Aug 04 12:07:55 2010 +0100
+++ b/sbsv2/raptor/lib/flm/tools2exe.flm	Wed Oct 06 15:13:17 2010 +0100
@@ -73,7 +73,7 @@
 define tools2install
 $(INSTALLED): $(EXETARGET)
 	$(call startrule,tools2install) \
-	$(GNUCP) "$(EXETARGET)" "$(INSTALLED)" && \
+	$(GNUCP) --remove-destination "$(EXETARGET)" "$(INSTALLED)" && \
 	$(GNUCHMOD) a+rwx "$(INSTALLED)" \
 	$(call endrule,tools2install)
 endef