Fix some travis configuration issues.