try to fix travis configuration