Revert "Run opam update --depext
before installing system dependencies"
#4177
Loading
opam update --depext
before installing system dependencies"
#4177