fix travis configuration