undefined symbol: __acl__convert_SItoFP_32

Hello,

I compiled a .cl file into .aocx in this way:
aoc -march=emulator kernel.cl -o kernel.aocx
The compilation succeeds.

Then I try to create a program from the .aocx file in this way:
program = clCreateProgramWithBinary(opencl_context, 1, devices, lengths, (const unsigned char **)binaries, status, p_err);
where binaries is an array containing the content of the .aocx file.

When that statement is executed, an error is thrown:
Error: /tmp/aocl-18105-kernel1.so: undefined symbol: __acl__convert_SItoFP_32

I guess the error is related with the following code in the .cl file:
int8 x = ....;
float8 y = convert_float8(x);

It seems that some library containing the __acl__convert_SItoFP_32 is not linked with the .aocx file.

Any idea?

Thanks,
Hongbo