Fix Dockerfile to actually work