fixing .gitmodules file for travis support