[PATCH v4 01/13] Makefile: Add missing PESTO_HEADERS variable