try to get Travis CI working