Use more Boost macros in printf