Hello Paul and thank you for reaching out as usual with this.
This is certainly a bug.
Please report it and I'll be happy to verify and put in the fixing line.
This is not the issue of upgrade SERP. But serverip.dat in this case contains the value: 192.168.88.12:1301, so this is local IP of the server with SERP.
Anyway I don't understand what do you me...