Force default port to be 4000.