Fixing install of gecode-dev libs