fix path in .gitmodules for github?