VC4CL: VC4CL installation error

Hello.

I was able to build VC4CLStdLib, VC4C and VC4CL. I installed both VC4CLStdLib and VC4C by:

$ sudo dpkg -i /tmp/vc4cl-stdlib.deb
$ sudo dpkg -i /tmp/vc4c.deb 

But, when I install VC4CL by

$ sudo dpkg -i /tmp/vc4cl.deb

I get:

$ dependency problems prevent configuration of vc4cl:
$   vc4cl depends on opencl-c-headers; however Package opencl-c-headers is not installed.

This is strange because I’ve installed it by:

$ sudo apt-get install opencl-headers

Any ideas? Thanks in advance.