Fix travis-ci build target