setfile(): avoid "unused-variable" warning if !UISTRINGS