Fix Travis

WIP: fixing Travis build.