Tentative travis fix