/usr/share/gecode/mznlib	/usr/share/minizinc/gecode
