Quite a big revamp of the make-pins script, it is now used on each build to generate the pin files, so the static ones are not needed anymore.