No they will work with pro + sylex, but all these shaders should (as far as I can tell) also be possible to get to work using pro only. Sylex doesn't compile on my pc, I mean publishing seems to fail for some unknown reason. At least that's why I'm interested in a pro only version of these shaders too, there's no extra functionality, still why use something extra if you could do without?

Cheers