Fix broken travis build file