modification of travis configuration