Fix vagrant/docker restart