More tweaks for debian-install