Workaround: fix restart docker