setup-vexctl