Patch pgmlink’s Makefile