Makefile wants FreeRTOSConfig.h