Fix launch to accept multiple arguments
Uncomment opam config