Updating (again) some packages with oasis2opam