It was basically a misunderstanding on my part. I thought that the way you controlled which build you got was by editing default.sh, but it turns out that the correct way is to checkout the appropriate branch from github. You can then use default.sh to confirm that you’re building what you think you need to.