@davidrevoy Well, it works, cat.exe does not seem to generate errors.