..by generalizing the build script. Obsoletes #3699, and it should finally fix problems around 816d971a.
816d971a