fix broken travis-ci build