quick patches for WireShark 1.12.0 on Ubuntu 14.10