travis configuration modified