make sure our own printf() clones are used
1 file changed