travis configuration fix