Fix OpenCL Header Names Under Linux