Update Dockerfile

Doing it straight in Github. Running in Jenkins...