Re-enable TracerPIN #3
Description
We're stuck with this old version of TracerPIN.
Figure out out how to include decently a GCC 4.4.7 (or at least <5) in this Debian Stretch docker image and re-activate the compilation of the PIN tools.
{{ message }}