Bad paths in .gitmodules