main/wireshark: upgrade to 1.12.2