New makefile, compatible with Pin 2.12.