aoc cannot find valid licences file

Hello, this is the message I get:

Could not acquire a valid license for the Intel(R) FPGA SDK for OpenCL(TM).

Error: Verilog generator FAILED

With respect to "quartus_sh_compile.log", I cannot find it. I guess it is generated by Quartus, while I'm running command line.

Despite I cannot compile for synthesis, I can compile for emulation.

My License file seems to be ok and available:

$ echo $LM_LICENSE_FILE

/home/harp/intelFPGA/LICENCIA/1-G9LVJF_License.dat

But, the most important thing is that the license works for Quartus. There seems to be a problem with OpenCL as a "secondary product" to Quartus.

I found the license problem with 2 different projects: the vector_addition example; and another one provided by the HARP guys.

It's maybe a matter of starting a service request?

Roberto