Also adapt build.sh for bootstrapping with python3. This is a fixup of 4b28ab13. See also !1154
Attach a file by drag & drop or click to upload
Thomas Gambier authored