Delete dimitri.launch~