Add argument in configure (for opam)