- update and upgrade before any apt-get installation (the cache make
    that lines could be executed month apart)
    - use depext in opam to check that all the needed debian packages
    are installed