bugifxs translator: encoding problems