Windows-compatible file name

I changed the file name used in order to use this feature on Windows.