fix disabled stdio

See #2140.