And now I actually commited the official submodule version.