Use a more correct docker restart script.