use system gecode when building