DVB/Laucher: clean building output files.