(Just `checkout` this part from your local commit then run `./configure` to fetch the newer submodule commits.)