Travis config fix