debian: Get Wireshark version from the right place.