Make Travis CI work, take #6