Include ppsi.mk in Makefile

so that ppsi is built directly by the wrc Makefile
(and not using a recursive make)

Fixes some format warning
(stdint.h now comes from include/std)