Try to fix printf tests on Linux