Revert "Run opam update --depext
before installing system dependenc…
#4176
Loading
opam update --depext
before installing system dependenc…
#4176