<div id="comment:0"></div> Here's a different attempt to solve the issue at [#31338 comment:13](https://github.com/sagemath/sage/issues/31338#comment:13) This will need to be tested with #29039, #31396, for which this mechanism was created. CC: @kiwifb @antonio-rojas Component: **build** Author: **Matthias Koeppe** Branch/Commit: **[`0867811`](https://github.com/sagemath/sagetrac-mirror/commit/08678114db533b7f6da8529a81cae556ce60461a)** Reviewer: **François Bissey** _Issue created by migration from https://trac.sagemath.org/ticket/32057_