A few adjustments to Dockerfile (run apt-get update and force the symlink)