Changed windows-only filenames to properties