Fix Linux setup

Fix setup-all.sh. See individual commits as well as e-mails for details.