w32tm is called win_ntp elsewhere