Replace printf(...) by fprintf(stderr, ...)
Merge pull request #1143 from hardening/killPrintfRebased

Replace printf(...) by fprintf(stderr, ...)