travis config adaptations/fixes