added Makefile switch 'USE_PRINTF = 1' for enabling '$display' preprocessing