Fix problems with debootstrap on Ubuntu.