trvial: Fix Travis config