fix submodule url for travis-ci