bugfix: pgstrom_opencl_device_info() didn't work