fix copying to clipboard in fTools (closes #8442)
correct handling for non ASCII characters in plugin installer (fix #8452)