Fix issue with Windows filenames (#35)