bad gitmodules file?