Fix launch_gae_ggrc snippet