Linux doesn't like mixing and matching of printf and wprintf on the same FILE*