Nah, don't listen to them. As INTPs, we put on this big act of not liking people just coming up and touching us, but we really crave group hugs, all the time. Especially from friends and coworkers we're not intimately involved with. You need to just be more assertive about hugging her more often. Don't be put off by her defensive shell; she really likes it, and you'll break through to her eventually. It'll just take a lot more hugging.
I was starting to think NTs were plain mean. I often see it as a shell too.
I really don't mind being hugged, if there's a reason for the hug. What's creepy is when a dude you don't even know hugs you because he's a dirty old man that just wants to hug you to get close to you and possibly feel you up. EW.
I guess it really just depends on who's doing the hugging.