--- # defaults file for windows_reboot