build: Add support for building with newer PIN versions

The structure of PIN Makefiles has changed in recent PIN
versions. This brings our makefiles in line with what PIN expects.