distribute OpenCL header files (even if not used by the program)
Python3 compatibility: minor refactoring