debian-setup fixes