debian|ubuntu minos-tools-extra packaging