Update stdio.h