OpenCL is now part of the drivers and no more a seperate package, this should be related.
Ahh, I did not know of this, I was wondering how opencl got installed when I installed 13.5 beta 2, cuz I did not see the sdk package at all in the driver package. I was clueless.
This is something to note. Thanks.
Have you tried 13.5 beta 2 driver?