Fix broken travis build