replace 4243 by the docker port

Signed-off-by: Victor Vieux <vieux@docker.com>