Fix Travix CI config #1