Fix launch scripts, broken by previous commit.