GitLab

Fix specifying a device will fail to run when multiple OpenCL platforms are available. Specifying `--verbose` prints the following exception:
```
Specified DeviceIndex but not OpenCLPlatformIndex. When multiple platforms are available, a platform index is needed to specify a device.
```