Fix travis-ci build