--- # defaults file for windows_install_files