some changes to make the Dockerfile work again