trying to make travis play well with the git submodule