Debian package which provide wmic (a WMI client)