travis ci configuration modified