Bè gcc dovrebbe darlo a chiunque lo utilizza, non ho fatto particolari configurazioni. E comunque se lo scrive qualcosa vorrà dire, ma aparte il buffering non mi viene in mente nulla.