[gecode-users] Problem with Flatzinc 1.0 on Gecode 2.0

[Raffaele Cipriano]

Dear gecode developers and users,
I have installed gecode 2.0 and the flatzinc parser on a cluster with 
these characteristics:

Architecture: x86_64
SO: Linux CentOS v.4.3
Kernel: 2.6.9-34.ELsmp CentOS Kernel

installing gecode 2.0 is ok; I used

$ ./configure --prefix=/home/cipriano/gecode2.0       
$ make
$ make install

also installing flatzinc is (seems) ok; I used

$ ./configure --prefix=/home/cipriano/flatzinc1.0
$ make
$ make install

But when I try to invoke   "fz", the exacutable for flatzinc parser e 
get thie error:

fz: error while loading shared libraries: libgecodecpltset.so.9: cannot 
open shared object file: No such file or directory

What can I do?

Thank you very much

Raffaele Cipriano