Rename printf.c->stdio.c and add fflush