Update dot_dlauncher_example