updated for version 7.0073
diff --git a/src/gui_riscos.c b/src/gui_riscos.c
index 2c40514..2f33419 100644
--- a/src/gui_riscos.c
+++ b/src/gui_riscos.c
@@ -3218,8 +3218,7 @@
 	length = out_redir - cmd;
 	out_file = fopen(out_redir + 3, "wb");
 	if (out_file == NULL)
-	    msg_str("WARNING : Can't open file %s for writing\n",
-							       out_redir + 3);
+	    smsg("WARNING : Can't open file %s for writing\n", out_redir + 3);
     }
 
     if (length > 180)