Update the distjoblaunch code