pick a port in verifyPort if none has yet been set