Espruino 1v88 released

Do you have any advice for building these on windows using Vagrant for the NRF52832DK? I have tried out the current vagrant setup but believe the version of arm-none-eabi-gcc it installs in the provision.sh script may not be compatible with the current master branch?

https://github.com/espruino/Espruino/blo­b/master/scripts/provision.sh

From what I can tell based on this link:
https://travis-ci.org/espruino/Espruino/­jobs/175343830

you are building with the current version:
arm-none-eabi-gcc (GNU Tools for ARM Embedded Processors) 5.4.1 20160919 (release) [ARM/embedded-5-branch revision 240496]

Right now on gcc-arm-none-eabi-4_9-2015q1 it mostly works but fails at the end with this:

GEN espruino_1v88.180_nrf52832.lst
GEN espruino_1v88.180_nrf52832.hex
Merging SoftDevice
scripts/hexmerge.py /vagrant/targetlibs/nrf5x/components/sof­tdevice/s132/hex/s132_nrf52_3.0.0_softde­vice.hex espruino_1v88.180_nrf52832.hex -o tmp.hex
make: scripts/hexmerge.py: Command not found
make: *** [espruino_1v88.180_nrf52832.hex] Error 127