Fix up stdc.stdio a bit