error in make on raspberry pi (ubuntu)

For creating firmware I would like to switch from my shared ubuntu to a raspberry pi V4
According to provision.sh everything is installed.
But after calling make like this

cd /home/nodejs/efeu/espruino/EspruinoRelease
export PATH=/home/nodejs/efeu/tools/gcc-arm-none-eabi-8-2018-q4-major/bin:$PATH
RELEASE=1 BOARD=ESPRUINOBOARD make

I get this

Makefile:781: warning: ignoring prerequisites on suffix rule definition
Makefile:785: warning: ignoring prerequisites on suffix rule definition
CC /home/nodejs/efeu/espruino/EspruinoRelease/targetlibs/stm32f1/lib/startup_stm32f10x_hd.o
/home/nodejs/efeu/tools/gcc-arm-none-eabi-8-2018-q4-major/bin/arm-none-eabi-gcc: 1:ELF: not found
Generating platform configs
/home/nodejs/efeu/tools/gcc-arm-none-eabi-8-2018-q4-major/bin/arm-none-eabi-gcc: 5: Syntax error: "(" unexpected
Generating pin info
make: *** [Makefile:791: /home/nodejs/efeu/espruino/EspruinoRelease/targetlibs/stm32f1/lib/startup_stm32f10x_hd.o] Error 2
make: *** Waiting for unfinished jobs....

Doing the same on shared ubuntu host runs fine without warning and error
Any idea ?