CI: Unbreak build after simplesat breakage
CI: Unbreak build after simplesat breakage

Tracked in https://github.com/enthought/sat-solver/issues/270

lowRISC/ibex,AmbiML/ibex,lowRISC/ibex,AmbiML/ibex,lowRISC/ibex,AmbiML/ibex,lowRISC/ibex,AmbiML/ibex