There is not much documentation available on this. Port 4000 is in use in my system, how to change it to, say 4001?