make Dockerfile work again