Fix Travis-ci build