scripts/setup-ubuntu.sh: Huh. We only have Python 3.5 here.