Attempting to make Travis CI work with github submodules