make compiler happy about printf