Set of patches to fix PINTool compilation on Linux.