Fix Travis-CI build

cc @dwoos 

Merging.