set default_device if user specified the default device name explicitly