BUG-7013: do not rely on default character encoding