Let's try to resolve Travis's config problem