Fix travis-ci build file