Travis CI adaptations