Set USE_SYSTEM_GECODE to 1