Attempt to fix #1108, #1109, tcp and udp port on the same port number

when forwarded ports are squashed, if a tcp and udp port share the same port number one of them is forgotten