fix gcc warnings
Fix unused warning for printf's stdout_putf()