More gitmodules fixes for travis...