Prefer stderr.write() to print>>stderr, seems to work better with translations.