stdio buffer and fork