debian|ubuntu minos-extra-tools packaging