<div id="comment:0"></div> People want to upgrade Sage they installed as a binary. That doesn't work too well if they don't have the needed devtools. Cheers, Michael Component: **build** Reviewer: **Jeroen Demeyer** _Issue created by migration from https://trac.sagemath.org/ticket/3140_