PINtool instruction_trace: Fixed an issue in pin.H inclusion.
PINtool: Added necessary library inclusion for linux compilation.
PINtool: Fixed certain variable errors related to their signedness.
makefile.rules: Added Unix specific library inclusion : libpthread.
PINTool region: Fixed an error with a global variable.