one more attempt to get Travis CI working