fix for seccubus.xsd because port can also be a string