makefile for pps-tools