use system gecode when building

Don't merge this