(minor) Remove non-Ascii characters in extensions files.