Fix broken Travis again