Another attempt to fix the printf tests on 32 bit Linux