Fix weird issue with .gitmodules