this line belongs in install-ubuntu-dependencies.sh, which I'd added before but is somehow gone now.