--- src/RuntimeSystem/remove_tmp_files_linux	2012-06-27 19:10:56.384603025 +0200
+++ src/RuntimeSystem/remove_tmp_files_linux	2012-06-27 19:10:13.965178937 +0200
@@ -1,3 +1,3 @@
-rm scon.s scon.s.copy istartup.cpp istartup.t istartup.a
-rm ifileIO3.cpp ifileIO3.t ifileIO3.a iprofile.t iprofile.cpp iprofile.a
-rm scon.o ufileIO2.o ifileIO3.o istartup.o iprofile.o uwrite_heap.o
+rm -f scon.s scon.s.copy istartup.cpp istartup.t istartup.a
+rm -f ifileIO3.cpp ifileIO3.t ifileIO3.a iprofile.t iprofile.cpp iprofile.a
+rm -f scon.o ufileIO2.o ifileIO3.o istartup.o iprofile.o uwrite_heap.o