i18n: SOCPlayerInterface +printFormat; use in requestedSpecialBuild