Does provision check correct version for ARM boards ?

For some weeks now, it is best solution to use gcc-arm-none-eabi-8-2018-q4-major
I've done some testing based on actual provision.sh and looks like

1. If we already have an older version of gcc-arm-none-eabi installed, provision.sh will never install v8
   
2. if v8 is installed manually using command from provision.sh, older version is used, v8 is ignored
   
3. after changing sequence in export to export PATH=/home/nodejs/http88/Espruino/gcc-arm-none-eabi-8-2018-q4-major/bin:$PATH v8 is used
   
   

Since I'm not an expert in this area, could please someone check