functions.sh: keep /var/lib/docker in case separate partition