More Travis adjustments