<div>b1dacc6c379ede878b5740a8ab5df635538b6e14 introduced a problem where</div><div>a copy inside a batch script launched interactively now prompts</div><div>about overwriting files whereas it should not. This patch fixes it.</div>
<div>No tests added in this patch but will be exercised by a forthcoming</div><div>suite of tests around the copy statement which I am just finalizing.</div>