Fix Windows file naming.

Closes #331.