Fixed the '%u' format specifier in stdio.c