fix Travis config