Rename a file to avoid illegal windows filename

Certain charachters [1] are reserved on windows. Having : in the filename makes it so git refuses to checkout the repository on windows.

[1] https://docs.microsoft.com/en-us/windows/win32/fileio/naming-a-file#naming-conventions