@peterbe - so it works and is tweakable even if someone does not use our jenkins.sh to build

Maybe would be nicer to have a ternary in local.py to fall back to this instead ... I didn't put too much thought into it since we can remove all of this when the repos are merged. What do you think?