#3 add debian-installer-launcher