We should modify our .gitmodules file so that it points at a commit instead of the main branch CC @StRigaud