This did not work previously, since we are patching the submodules, which
makes them dirty, and then `git submodule update` will refuse to update them.

Closes #96.