[pkg] Make sure the gecode extension build never ever fails [applied]