stdio: Correct a build error with driver model