fix get_num_of_cpu on win32.