UTF-8 over ASCII as file system encoding