Travis config fixups