[Travis] Tentative fix