I'm currently trying to build the IDA Pin Debugger. I ran into too many errors that I eventually came into some I couldn't figure out to fix. I went back to the pin tools download page and decided to use one of the older versions from 2015. However once I tried to begin building ida pin I got this error: idadbg.cpp(17): fatal error C1189: #error : "IDA does not support PIN build #71313. Please use #65163 instead". I looked at vc9, 10 and 11 and they are all 71313. Where can I find the download for pin tool version 65163? Thank you.