Fix Dockerfile again