yeah and at least for now that's the right place for `windows_reboot` to put it