<div id="comment:0"></div> Fix-up of something broken by #30551. Depends on #30551 CC: @dimpase @vbraun Component: **build** Author: **Matthias Koeppe** Branch/Commit: **[`bdde341`](https://github.com/sagemath/sagetrac-mirror/commit/bdde34100078a26b4619816e6de85cf8307aa3d5)** Reviewer: **Dima Pasechnik** _Issue created by migration from https://trac.sagemath.org/ticket/31860_