added terminal option to set opencl device