(stdio): New variable, set by configure.