Problem making firmware for Espruinoboard

Firmware created on my ubuntu server does not work on board.
After flashing from local drive with IDE and reset, all 3 LED are on, and serial port is not found.
Flashing a binary from Espruino/com/binaries, same way, works fine.
My make runs this way, there is no error:

cd /home/nodejs/efeu/espruino/EspruinoRelea­se/
export PATH=/home/nodejs/efeu/tools/gcc-arm-non­e-eabi-8-2018-q4-major/bin:$PATH
make clean 
RELEASE=1 BOARD=ESPRUINOBOARD make >tmp/Espruino/log/stdout 2>tmp/Espruino/log/stderr

Comparing binaries there is a difference in size.
Mine(espruino_2v08_espruino_1r3) has 214KB and "yours" from binaries folder has 224 KB

Any idea, whats going wrong on my side?
Make for ESP32 works fine, looks like something wrong with my installation for ARM ?