Bug #2045: wrap around the vnc port number