PUBLISHED_FROM=cf49d0d345e4a7607c535f9578b8ed4160f2fccd

Note: this is only the first step; the C sources won't be built until
the second step is done.

The actual build takes about 1.3s on cloud2 which still runs the docker
containers and image layers on the very slow spinning disk. cloud3 has
docker mounted on the SSD disk; measured speedups of 20-30%

PUBLISHED_FROM=c5acef1d64ebc8dca8ed31f51685c8b3090c5767

PUBLISHED_FROM=de348f944de60d116d9d1f5d18e920991c811fa8

PUBLISHED_FROM=da1faa9b46cd0ff22dcba6d324b5847c4a0d42d8

PUBLISHED_FROM=73540bf103672916eae35959d5e992a3616a6604