* config/i386/linux.c: Use fputs or putc instead of fprintf