Fix up device name on Windows.