Keep Makefile.phk prototype up to date