Start morecoq