Minor modification in kdvSVLauncher