Make the submodule compliant with Travis CI