Space in the current directory crashes "dafny run"

[MikaelMayer]

Dafny version

3.13.0

Code to produce this issue

method Main() {
  print "hello";
}

Command to run and resulting output

Place this content in a file `folder name/runfails.dfy`
Navigate into the folder `folder name` which should contain a space
Execute

    dafny run runfails.dfy

You'll get

    (0,-1): Error: Unable to open included file
    Error opening file "runfails.dfy": Could not find a part of the path '...\folder%20name\runfails.dfy'.

This is the same result if you run it from outside the folder containing a space in the name.

What happened?

It looks like files with spaces in their name are wrongly encoded with URLs escapes.

What type of operating system are you experiencing the problem on?

Windows

[MikaelMayer]

A git bisect identified the following PR that introduced the regression bug above.

#3618