Travis-ci build fixes