core.stdc.stdio: silly fix