opam and url fixes