patching file pinns/Makefile