Hopefully fix Dockerfile