allow printf to be configured out