@paul: The upload failed due to a problem with the file permission. Thank you for contacting me.
———-
For those who visited later …
This post was corrected on 27th June 2019.
Since an error was found in the attached file, uploading is done again.
Please download wios-check2.zip.
