I imagine that'll solve the issue for you. I'm still not sure why but it does seem that the IDE's bluetooth firmware updater can be a bit unreliable on some platforms.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Wow, that's a new one!
Please could you try updating with nRF connect on your phone? http://www.espruino.com/MDBT42Q#firmware-updates
I imagine that'll solve the issue for you. I'm still not sure why but it does seem that the IDE's bluetooth firmware updater can be a bit unreliable on some platforms.