CubeCell support in Arduino IDE (Manjaro Linux)

Waiting for the delivery of my Heltec CubeCell HTCC-AB02 board and trying to prepare my Arduino IDE. Running Manjaro (uname -a):
Linux 5.15.145-1-MANJARO #1 SMP PREEMPT Sun Dec 24 05:48:47 UTC 2023 x86_64 GNU/Linux

Arduino IDE 2.2.1

First attempt:
Using the board manager as described here:
https://docs.heltec.org/en/node/asr650x/htcc_ab02/quick_start.html#install-cubecell-relevant-framework

But the very slow download is interrupted with “unexpected EOF”.

Second attempt: Via local file
Downloaded an extracted all files to the right positions.
Executed get.py and after that everything should work.
Now Heltec’s boards can be selected in the Arduino IDE menu.

Trying to start compilation results in error:

fork/exec /[path]/Arduino/hardware/CubeCell/CubeCell-Arduino/tools/gcc-arm-none-eabi/bin/arm-none-eabi-g++: exec format error

Compilation error: fork/exec /[path]/Arduino/hardware/CubeCell/CubeCell-Arduino/tools/gcc-arm-none-eabi/bin/arm-none-eabi-g++: exec format error

Manual execution of arm-none-eabi-g++ shows, that these precompiled binary won’t run in my linux architecture. Same applies for arm-none-eabi-c++

What now? Will I ever be able to compile CubeCell code in my linux Arduino IDE? Or will I have to change to Windows?

Maybe there’s a solution?

Maybe found a solution.
Downloaded the package gcc-arm-none-eabi from https://developer.arm.com/downloads/-/gnu-rm and substituted the original files. Now the compiler seems to work. But didn’t test it properly.