Update SDK version
Specify port number

- config used to depend on default port in ring
- if a server was already running on 3000, ring would open it on 3001
- but the config would then be wrong