projman #13930 fix build on lenny [resolved]

make sure projman builds correctly even for older versions of libgecode.

prioritynormal
typebug
done in0.13.7
load0.500
load left0.000
closed by<not specified>