Well,
I tried your printf files, and the compiler complains about trying to overload the std:
rintf routines (amoung others). So I gave that up and decided to optimize the libraries myself, which seems to work except then it complains that the set_printf routine the is in tiny IO (and used with console IO) is not available.
I feel like I can't win for trying here.