development-setup.sh: another missing sudo