If you export a compiled Blink example, the hex will be saved in the examples folder, which may be read-only.
IDE should save hex in different locations, depending if Sketch.isReadOnly()
For example, when an example sketch hex file is exported, a "Save as..." should be forced.
/cc @championswimmer