use printx() instead of fprintf() for correct debug print routing on win7