misc/docker-setup: calling main