which version should be used to compile Espruino for ARM on Ubuntu 14.04

some hours later, ...

• 1st tried to extract from https://launchpad.net/gcc-arm-embedded/+download into a directory, added this to path and failed with "file or directory not found" Strange since ls shows the file, anyway my knowledge is hmm. So I'm pretty sure, this idea is hmm, ...
  
• 2nd installed 4.8.3 using apt-get, compilation with ESPRUINO_1V3=1 make runs fine, linking gives error section .text' will not fit in regionFLASH'
  
• 3rd installed 5.3 from ppa:team-gcc-arm-embedded/ppa, same situation, compilation runs fine, linking gives error section .text' will not fit in regionFLASH'
  
• 4th FAIL tried to create pico firmware with PICO_1V3=1 make and got FAIL - size of 348696 is over 327680 bytes
  
  

BTW, compilation of Espruino for ESP8266 runs fine.