main: switch back to default ports
Merge pull request #1091 from jonboulle/993_default_port

main: switch back to default ports for now