make use of system gecode library during setup