restart docker after install to make initial git push smoother