Comment out debian-installer-launcher for some bugs
I changed to (14), but it has some problems.