Fixed a file with a special character in its name.

It was causing problems on Windows.