How do you deal with not liking the friend of a friend?

For example, you’re at a party at a friends house, and ugh! it’s that jerk that the hosts are friends with, but you can’t stand. How do you deal with it? Make pleasant small talk, but as little as possible while still being civil? Tell them to please leave you alone? Find someone whom you can secretly signal to come rescue you with a “Oh, there you are, come here, I want you to meet someone”? Do you let the host/mutual friend know that you don’t care for their friend?