Yet another update to the Dockerfile