Replace fprintf(OUT, ...) by printf(...)