provision.sh: stopping docker breaks devicemapper use, restart works though