#3914: dpkt renamed to python-dpkt in devel and F14