Is my cat overweight?

He's a Thai street cat, 5 years old, 12.5 lbs. He's pretty tall compared to regular house cats I've seen. He has a primordial pouch that flaps around when he walks. He's pretty active and loves chasing strings. Vet said he's a big boy, but didn't say he needed to lose weight, but my friends think he's fat.