[koenigdavidmj]

gcc has a -include option, so this can be done once in the Makefile and get the benefit everywhere (unless you’re being clever).