Fix mistake where submodule wasn't included in .gitmodules.