updated kernelLauncher shell executable