I suspect something wrong in the JSON toolchain description file. I don’t have the experience/knowledge to modify them.
The code (a simple LED blink program) bumbs out during code compilation.
The latest arduino IDE does compile and upload the code correctly. Since my changeover from Arduino to PlatformIO, I prefer continuing with the latter one.