trivial: Fix Travis config