We can always fix that in a separate PR, we required `git submodule update` before this change too :)