fix device-specific options setting