Fix errors in Dockerfile and launcher