opam file: use compiled setup