install-docker/default/docker: listen on :4243, don't restart container