Tried to fix Travis CI problems

let's see if this works.