Fall back to codecs in case stdio has already been replaced with something weird