diff -r 7288532f5372 -r b5d19d99a58d lib/scripts/run-polyml
--- a/lib/scripts/run-polyml	Thu Jan 23 14:37:45 1997 +0100
+++ b/lib/scripts/run-polyml	Thu Jan 23 18:10:29 1997 +0100
@@ -44,7 +44,8 @@
 elif [ "$INFILE" -ef "$OUTFILE" ]; then
   DB="$INFILE"
 elif [ -n "$COPYDB" ]; then
-  cp -f "$INFILE" "$OUTFILE" || fail_out
+  [ -f "$OUTFILE" ] && { rm -f "$OUTFILE" || fail_out }
+  cp "$INFILE" "$OUTFILE" || fail_out
   chmod +w "$OUTFILE" || fail_out
   DB="$OUTFILE"
 else