Update launch_smpc