update .gitmodules by hand :/