clone cil because opam's version is too old
vagrant: deps for precise64