fix travis

let's see what travis says