make file names windows-compatible