Fix broken travis build3