[SQUASH] Refine jenkins/build-gecode based upon feedback